Disassembler Using High Level Processor Models

The design of a high performance system requires an integrated environment to simulate and analyze the performance of various design alternatives. In this thesis, we have developed a generic disassembler for an integrated environment where Sim-nML acts as the speci cation language for processor performance model. The Sim-nML, an extension of nML machine description formalism, is a simple, elegant and powerful language to model machine behavior at instruction level. As part of the thesis work, we have designed an interm ediate representation (IR ) for processor speci cation written in Sim-nML language. The IR is simple and facilitates the development of various tools such as assembler, compiler back-end generator, instruction set simulator, trace generator etc. based on the processor speci cation. A tool, IR -Generator, is developed which takes a processor speci cation written in Sim-nML language and produces it in the intermediate representation. Further, a Generic Symbolic Disassembler is developed which takes the intermediate representation of a processor and a relocatable binary le in ELF format as input and produces an equivalent program in assembly language of the processor. The disassembler is generic enough to be used for all type of processors. Acknowledgments I am grateful to my thesis supervisor, Dr. Rajat Moona, who guided me at every stage of this project with his valuable suggestions, whose qualities have attracted me a lot. His ideas have been of great help in exploring the areas which otherwise would have been impossible. I thank the Almighty for giving such a brotherly gure as my guide. This work is done as a part of the ongoing research in Cadence Research Center at IIT Kanpur. I express my gratitude to Cadence India Ltd. for their enduring support to this work. Apart from the ample nancial support provided by the fellowship, it has been a source of personal pride and motivation to be called a "Cadence Fellow". I am also greatly indebted to Dr. Deepak Gupta and Dr. Sanjeev Agarwal for their guidance and support throughout my work. I express my heart-felt thanks to all the faculty members for teaching the principles in most exciting and enjoyable way. I am greatly indebted to my seniors specially Atul and Kshitiz for helping me out in crucial situations. I would also like to thank V.Rajesh, Subhash and Shishir who has helped me with lots of ideas throughout the work. I thank all my MTech97 classmates especially Professor (Zade), Bepari, Kapil, Atul, Manoj, Anna, Anjali, Uma, Prasad, Srikar, Gopi, Girish, Prasanna, Kousik and Major Ajay, for being a ectionate and the source of inspiration for me. My gratitude goes to all of my MTech97 batchmates, who made my stay in Hall-V, IITK a memorable one. I acknowledge the MTech98 batch for their exciting company. I wish I could express my thankfulness to all my old friends for their love, support and encouragement. I thank my parents, my brothers, for their love and a ection I have been receiving. I am grateful to all of them for their e orts in building my career. Finally, I would also like to thank God for being kind to me and driving me through this journey. i